<html>
<head><meta charset="utf-8"><title>meeting 2019.11.19 · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html">meeting 2019.11.19</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="181137954"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181137954" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181137954">(Nov 19 2019 at 18:05)</a>:</h4>
<p>Hey <span class="user-group-mention" data-user-group-id="1172">@WG-async-foundations</span> -- triage meeting now-ish</p>



<a name="181138009"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138009" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138009">(Nov 19 2019 at 18:06)</a>:</h4>
<p>I'm actually short on time today</p>



<a name="181138083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138083">(Nov 19 2019 at 18:07)</a>:</h4>
<p>update: still working on <a href="#narrow/stream/187312-wg-async-foundations/topic/.2366312" title="#narrow/stream/187312-wg-async-foundations/topic/.2366312">https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async-foundations/topic/.2366312</a></p>



<a name="181138094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138094">(Nov 19 2019 at 18:07)</a>:</h4>
<blockquote>
<p>Context and Waker might be accidentally <code>Sync</code> <a href="https://github.com/rust-lang/rust/issues/66481" target="_blank" title="https://github.com/rust-lang/rust/issues/66481">#66481</a> </p>
</blockquote>
<p>I'll mark as triaged, but we really need to get a kind of 'design process' happening, rather than the impl focus we've had thus far</p>



<a name="181138259"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138259" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138259">(Nov 19 2019 at 18:09)</a>:</h4>
<blockquote>
<p>Too many <code>type inside </code>async<code> object must be known in this context</code> errors <a href="https://github.com/rust-lang/rust/issues/66445" target="_blank" title="https://github.com/rust-lang/rust/issues/66445">#66445</a></p>
</blockquote>



<a name="181138263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138263">(Nov 19 2019 at 18:09)</a>:</h4>
<p>seems like a pretty extreme diagnostic fail</p>



<a name="181138307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138307">(Nov 19 2019 at 18:09)</a>:</h4>
<blockquote>
<p>Show the location of a type usage for trait bound failures <a href="https://github.com/rust-lang/rust/issues/66444" target="_blank" title="https://github.com/rust-lang/rust/issues/66444">#66444</a></p>
</blockquote>



<a name="181138316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138316">(Nov 19 2019 at 18:10)</a>:</h4>
<p><span class="user-mention" data-user-id="116107">@davidtwco</span> do you know if your branch may affect this?</p>



<a name="181138365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138365">(Nov 19 2019 at 18:10)</a>:</h4>
<p>I am reminded that I still owe you feedback, dang it</p>



<a name="181138389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138389">(Nov 19 2019 at 18:10)</a>:</h4>
<p>I'll check quickly.</p>



<a name="181138410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138410">(Nov 19 2019 at 18:10)</a>:</h4>
<blockquote>
<p>update: still working on <a href="#narrow/stream/187312-wg-async-foundations/topic/.2366312" title="#narrow/stream/187312-wg-async-foundations/topic/.2366312">https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async-foundations/topic/.2366312</a></p>
</blockquote>
<p>impl_wf_check is skipped for <code>trait Test&lt;T&gt;</code>, a bit strange, trying to figure out what's going on actually.</p>



<a name="181138963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181138963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181138963">(Nov 19 2019 at 18:16)</a>:</h4>
<p>It doesn't currently, probably should, issue is that where I look in the typeck tables to find the type that I'm looking for, the types aren't considered equal:</p>
<div class="codehilite"><pre><span></span>ty=[std::fmt::ArgumentV1&lt;&#39;_&gt;; 1] target_ty=[std::fmt::ArgumentV1&lt;&#39;_&gt;; 1] eq=false
</pre></div>


<p>That'll be related to <a href="https://github.com/rust-lang/rust/pull/65345#discussion_r340748378" target="_blank" title="https://github.com/rust-lang/rust/pull/65345#discussion_r340748378">this comment</a>'s issue.</p>



<a name="181139401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181139401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181139401">(Nov 19 2019 at 18:21)</a>:</h4>
<p>I've not had a chance to revisit <a href="https://github.com/rust-lang/rust/issues/65345" target="_blank" title="https://github.com/rust-lang/rust/issues/65345">#65345</a> yet, should have more time after this week.</p>



<a name="181139611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181139611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181139611">(Nov 19 2019 at 18:24)</a>:</h4>
<p><span class="user-mention" data-user-id="116773">@csmoe</span> are you trying to figure out specifically why you get errors with <code>RUSTC_LOG</code>? or something else</p>



<a name="181139648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181139648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181139648">(Nov 19 2019 at 18:24)</a>:</h4>
<p>unfortunately that does sometimes happen :(</p>



<a name="181139748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181139748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181139748">(Nov 19 2019 at 18:25)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116773">csmoe</span> are you trying to figure out specifically why you get errors with <code>RUSTC_LOG</code>? or something else</p>
</blockquote>
<p>fortunately, the <code>RUSTC_LOG</code> error was hacked away with the trick inside that issue.</p>



<a name="181139814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181139814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181139814">(Nov 19 2019 at 18:26)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/61577#issuecomment-528671852" target="_blank" title="https://github.com/rust-lang/rust/issues/61577#issuecomment-528671852">https://github.com/rust-lang/rust/issues/61577#issuecomment-528671852</a></p>



<a name="181139862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/meeting%202019.11.19/near/181139862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/meeting.202019.2E11.2E19.html#181139862">(Nov 19 2019 at 18:27)</a>:</h4>
<p>I'm trying to figure out why wf_check was skipped for <code>trait Test&lt;T&gt;</code></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>